A formal proof of the deadline driven scheduler in PPTL axiomatic system

A Formal Proof of the Deadline Driven Scheduler

Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines

In this paper, we extend the determination of feasibility intervals to task sets with arbitrary deadlines, both in the synchronous and the asynchronous case. Meanwhile we also improve the arguments and results generally found in the literature.

a study on construction of iranian life tables: the case study of modified brass logit system

چکیده ندارد.

a swot analysis of the english program of a bilingual school in iran

با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...

A Study of the Performance of IR in the Field‌ of Formal and Public Education System

In describing the Islamic Revolution, it is sufficient that Imam Khomeini (Rā) referred to the Islamic Revolution with titles such as "miracle of the century" and "explosion of light". In the current situation, when various unfair crimes enter the country, the importance of explaining the achievements of the Islamic Revolution as a task is determined. Therefore, the present study aims to invest...